An operational semantics for process algebra

Process Algebra and Structured Operational Semantics Process Algebra and Structured Operational Semantics

Operational Semantics of Reversibility in Process Algebra

Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We discuss reversibility in major process algebras from the point of view of operational semantics. The main difficulty seems to be with the definitions of forward and reverse computation for...

An Operational Semantics of Real-Time Process Algebra (RTPA)

The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational mathematical structure and a system modeling methodology for describing the architectures and behaviors of real-time and nonrealtime software systems. This article presents an operational semantics of RTPA, which explains how ...

An Operational Semantics for the Dataflow Algebra

This report defines an operational semantics for the event layer of the dataflow algebra, to complement the denotational semantics that has already been defined for it. The report defines a transition system and derivation sequences for this semantics, and then normal forms for these derivation sequences, which allow semantic functions to be defined directly for constructions in the algebra. Th...

Construction of an Operational Semantics for Di-algebra

Numerous formalisms exist to specify delay-insensitive computations and their implementations. It is not always straightforward to compare speci-cations in the diierent formalisms. The most commonly used is that of nite automata in which nodes are annotated with progress requirements. In this paper we present an algorithm that transforms DI-algebra recursive process expressions into nite automa...